This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query Compilation"
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is an artifact for the formal Coq proofs of the paper "A Formal Link between Response Time Anal...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
Artifact for the paper “The Dolorem Pattern: Growing a Language through Compile-Time Function Execut...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This Archive contains Artifacts for Paper "Highly-Optimizing and Multi-Target Compiler for Embedded ...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
The artifact of our paper "Automatic Generation and Reuse of Precise Library Summaries for Pointer A...
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is an artifact for the formal Coq proofs of the paper "A Formal Link between Response Time Anal...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
Artifact for the paper “The Dolorem Pattern: Growing a Language through Compile-Time Function Execut...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This Archive contains Artifacts for Paper "Highly-Optimizing and Multi-Target Compiler for Embedded ...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
The artifact of our paper "Automatic Generation and Reuse of Precise Library Summaries for Pointer A...
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is an artifact for the formal Coq proofs of the paper "A Formal Link between Response Time Anal...
DOI
Add to ORKG